Search Results
LambdaConf 2015 - LiquidHaskell Refinement Types for Haskell Ranjit Jhala
Liquid Types for Haskell
LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg
Ranjit Jhala - Liquid Haskell
#PLTalk with Ranjit Jhala on Liquid Types
Types are a Program Analysis' Best Friend, Ranjit Jhala
07 Bounded Refinement Types
PLSE Seminar Series Ranjit Jhala, "Refinement Types for Dynamic Languages"
Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
An Introduction to Refinement Types
LambdaConf 2015 - Type Theory and its Meaning Explanations Jon Sterling
LambdaConf 2015 - Parametricity The Essence of Information Hiding Kris Nuttycombe